Dynamic belief modeling
نویسندگان
چکیده
The possible worlds model and its associated Kripkean semantics provide an intuitive semantics to epistemic logics, but they seem to commit us to model agents which are logically omniscient and perfect reasoners. In this article we show that this is not necessarily the case, if possible worlds are not considered as consistent descriptions of the real world. We propose to model the beliefs of an agent using analytic tableaux, and we suggest how beliefs can be analysed in a pure logic way, using (a modiied version of) the classical analytic tableaux method. We also show a brief approach to a second dimension of analysis, the physical dimension, that will allow the user to perform tests in the real world and to add the results of these tests in the open tableaux of the logic analysis.
منابع مشابه
Modeling Transportation Routines using Hybrid Dynamic Mixed Networks
This paper describes a general framework called Hybrid Dynamic Mixed Networks (HDMNs) which are Hybrid Dynamic Bayesian Networks that allow representation of discrete deterministic information in the form of constraints. We propose approximate inference algorithms that integrate and adjust well known algorithmic principles such as Generalized Belief Propagation, Rao-Blackwellised Particle Filte...
متن کاملA First-Order Stochastic Modeling Language for Diagnosis
We have created a logic-based, first-order, and Turingcomplete set of software tools for stochastic modeling. Because the inference scheme for this language is based on a variant of Pearl's loopy belief propagation algorithm, we call it Loopy Logic. Traditional Bayesian belief networks have limited expressive power, basically constrained to that of atomic elements as in the propositional calcul...
متن کاملA Structurally and Temporally Extended Bayesian Belief Network Model: Definitions, Properties, and Modeling Techniques
We developed the language of Modifiable Temporal Belief Networks (MTBNs) as a structural and temporal extension of Bayesian Belief Networks (BNs) to facilitate normative temporal and causal modeling under uncertainty. In this paper we present definitions of the model, its components, and its fundamental properties. We also discuss how to represent various types of temporal knowledge, with an em...
متن کاملConstructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases
This paper investigates the power of first-order probabilistic logic (FOPL) as a representation language for complex dynamic situations. We introduce a sublanguage of FOPL and use it to provide a first-order version of dynamic belief networks. We show that this language is expressive enough to enable reasoning over time and to allow procedural representations of conditional probability tables. ...
متن کاملConstructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases
This paper investigates the power of first-order probabilistic logic (FOPL) as a representation language for complex dynamic situations. We introduce a sublanguage of FOPL and use it to provide a first-order version of dynamic belief networks.We show that this language is expressive enough to enable reasoning over time and to allow procedural representations of conditional probability tables. I...
متن کاملA New Approach to Belief Modeling
It has been shown that, despite the differences in approach and interpretation, all belief function based models without the socalled dynamic component lead essentially to mathematically equivalent theories – at least in the finite case. In this paper, we first argue that at the logical level these models seem to share a common formal framework and various interpretations just come at the epist...
متن کامل